Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
⚡ Dependent Rust
Verification, Type-level Programming, Safety Proofs, Linear Types
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
27744
posts in
19.1
ms
Translating
C To Rust:
Lessons
from a User Study
papers.cool
·
1d
🦀
Rust Borrowing
CIll
:
CTI-Guided
Invariant Generation via LLMs for Model Checking
arxiv.org
·
1d
🦀
Rust Verification
Lil' Fun
Langs
'
Guts
taylor.town
·
2d
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
🔗
Functional Compilers
State of
Knuckledragger
III: Kernel Changes,
Symbolic
Union, AI, and more
philipzucker.com
·
1d
⚔️
Lean Tactics
Rust 1.77.0:
C-String
Literals
and More
hackernoon.com
·
1d
🦀
Rust Borrowing
Extending Formal Verification to
Sequential
Circuits (U. of
Bremen
)
semiengineering.com
·
18h
🔧
Hardware Verification
Invariant-Driven
Automated
Testing
arxiv.org
·
1d
🔍
Concolic Testing
I built a
persistent
memory
layer
for AI agents in Rust
news.ycombinator.com
·
15h
·
Discuss:
Hacker News
🦀
Rust Borrowing
The
185-Microsecond
Type
Hint
blog.sturdystatistics.com
·
13h
·
Discuss:
Lobsters
,
Hacker News
,
r/programming
💧
Liquid Types
Debugging
Reproducibility
Issues in Rust Software
notes.8pit.net
·
2d
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
oxidecomputer/hubris
: A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
github.com
·
2d
·
Discuss:
r/homelab
🦀
Embedded Rust
Monuses
and
Heaps
doisinkidney.com
·
11h
🧮
Algebraic Datatypes
extended C*-
algebra
in
nLab
ncatlab.org
·
15h
🧮
Algebraic Archives
Claude code
underlap.org
·
1d
🔩
Systems Programming
Basics
of Rust
liw.fi
·
1d
🦀
Rust Borrowing
Lean
and AI caught a bug in my 2-year-old
TLA
+ spec
medium.com
·
1d
·
Discuss:
Hacker News
🏛️
Agda
freest-lang/freest
: A programming language for safe
concurrency
powered by context-free session types.
github.com
·
1d
🔗
Functional Compilers
Dino
in the Machine:
Surviving
the Transformer Latency Trap in C++
hackernoon.com
·
1d
🏗️
Compiler Archaeology
SOLID in FP:
Liskov
Substitution
, or The Principle That Was Never About Inheritance
cekrem.github.io
·
1d
·
Discuss:
Hacker News
,
r/programming
🔤
Type Theory
State of
Haskell
2025 results
discourse.haskell.org
·
15h
·
Discuss:
Lobsters
,
r/programming
🔗
Functional Compilers
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help